specification language
英 [ˌspesɪfɪˈkeɪʃn ˈlæŋɡwɪdʒ]
美 [ˌspesɪfɪˈkeɪʃn ˈlæŋɡwɪdʒ]
网络 规格语言; 规范说明语言; 规约语言; 规范语言; 说明语言
双语例句
- IDL is a specification language.
IDL是一种规范语言。 - It also demands much more stringent use of the specification language.
它还要求对规范语言的更严格的使用。 - RosettaNet does not currently use an overall e-business dialogue specification language that can be used to express the entire e-business dialogue.
现在，RosettaNet并不使用全部电子商务规范语言（它可以用来表示整个电子商务对话）。 - LOTOS is a specification language that aims at describing the dynamic behavior of complex systems ( formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。 - The goal oriented specification language KAOS is extended, and a strategy model is added in order to achieve the multi-goal, dynamic strategy adaption requirement specification.
将面向目标的规约语言（KAOS）进行扩展，增加了策略模型，建立支持面向多目标的基于动态策略的适应性需求规约方法。 - The paper also illustrates several examples using the specification language.
本文中并提出数个此一规格语言之使用实例。 - Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets.
过去的机制包括文档风格语义和规范语言以及级联版式。 - Whatis your perspective on its potential impact on software architecture, specification language, software process and software reuse?
你如何看待其可能产生的影响软件体系结构，规范语言，软件过程和软件重用？ - The specification language Z is used in this paper.
模型采用规格说明语言Z进行描述。 - Design of a Specification Language and Development of Its Subset Complier
一个说明语言的设计和其子集编译器的开发 - A translating system of the jsd-oriented specification language
一个面向JSD方法的规格说明语言转换系统 - This paper makes the study on formal specification language for modeling of process control system.
本文研讨一种适用于过程控制系统建模的形式描述语言PROTOB。 - CPSL is a special purpose formal specification language which exactly describes the communication protocols. In this paper, the design of CPSL and the implementation of its support system are presented with a brief comparison with other similar languages.
CPSL（CommunicationProtocolSpecificationLanguage）是一种精确描述通信协议需求的形式规格说明语言.本文简述了CPSL的设计及其支撑系统的开发，并和其它类似语言作了比较。 - A founded constraint model, namely a constraint specification language, is studied in detail, and is extended.
对已有的角色授权约束模型，即约束描述语言进行了深入研究，并进行了相应的扩展。 - The presentation of semantics uses formal specification language Object-Z notation.
语义的表示采用形式化规范语言Object-Z的符号系统。 - This paper introduces a Decision Information System for Financial Analysis, with its organized functions, designing ideas, the model specification language and the now chart of the model calculation, also presents an application of this system.
本文介绍了一种财务分析决策信息系统的功能组成和设计思想，论述了系统提供的模型描述语言以及模型计算流程，并阐述了该系统在实际工作中的应用。 - The formal definition and feature of specification language GSL.
讨论了规格说明语言GSL的定义和特点； - Requirements from Internet of mapping process planning specification language to IDL and XML standards were also discussed.
同时，探讨了网络时代的工艺计划描述语言的网络化特点，即与分布式对象接口标准和XML标准的映射。 - By practice proving, the verification of hardware circuits is an effective method in property specification language.
通过实践证明，用属性说明语言验证硬件电路是非常有效的验证方法。 - Based on this meta-model, a compact Role Based Access Control XML policy specification language framework is proposed.
并在这一元模型的基础上，提出了一种紧凑的基于角色的访问控制XML策略描述语言框架。 - This paper begins with a basic concept of assertion based verification and a introduction of use and property define of property specification language.
文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义。 - AAA, an algebraic specification language based on the abstract data type, is introduced first.
首先给出一种基于抽象数据类型的代数规格说明语言AAA； - PSL is processed specification language, which can extents to foundational theories according to users 'demand.
PSL是面向制造业信息集成的过程规范语言，用户可根据需求对其基本理论进行扩展。 - As a visual specification language, petri net is increasingly used for the evaluation and analysis of real-time systems.
Petri网作为一种可视化的规格语言，越来越多地用于实时系统的评估和分析。 - JDBC is Java specification language used to how the client program to access the database application program interface.
数据库连接JDBC是是Java语言中用来规范客户端程序如何来访问数据库的应用程序接口。 - By using Object-Z specification language, Object-oriented concepts can be easily expressed.
使用Object-Z就可以方便地表达面向对象的概念。 - Also a formal specification language is defined to specify conformance test suites.
并利用自定义的一种形式化描述语言DSL实现了协议一致性测试集的形式化。 - In addition, the thesis introduced and studied the function and architecture of protocols specification language and complier.
此外，本文还对目前尚处于发展之中的协议形式化描述语言（如CAPSL等）以及编译器的功能与体系结构进行了介绍与探讨。 - Unified Modeling Language is a non-proprietary third-generation modeling and specification language.
统一建模语言是非专利的第三代建模和规约语言。 - Unified Modeling Language ( UML) is a generic visual modeling and specification language.
统一建模语言（UML，UnifiedMOdelingLanguage）是一种非专利的可视化建模和规约语言。